Waeselynck, H: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Emerging high assurance solutions for safe, secure, and reliable software systems

Babiceanu, Radu, Waeselynck, Hélène

Journal:

Journal of Software Evolution and Process

Year:

2018

Language:

english

File:

PDF, 68 KB

english, 2018

2

[IEEE Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006) - Raleigh, NC, USA (2006.11.7-2006.11.10)] Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006) - The SESAME Experience: from Assembly Languages to Declarative Models

Crouzet, Yves, Waeselynck, Helene, Lussier, Benjamin, Powell, David

Year:

2006

Language:

english

File:

PDF, 313 KB

english, 2006

3

Safety-critical advanced robots: A survey

Guiochet, Jérémie, Machin, Mathilde, Waeselynck, Hélène

Journal:

Robotics and Autonomous Systems

Year:

2017

Language:

english

File:

PDF, 448 KB

english, 2017

4

Book Review: Specification in B: an introduction using the B toolkit. Kevin Lano and Howard Haughton. Published by Imperial College Press and distributed by World Scientific Publishing, London, U.K., 1996. ISBN: 1-86094-018-8, 242 pages. Price: U.K. £17.00, soft cover.

Hélène Waeselynck

Journal:

Software Testing, Verification and Reliability

Year:

1997

Language:

english

File:

PDF, 27 KB

english, 1997

5

The many meanings of UML 2 Sequence Diagrams: a survey

Zoltán Micskei, Hélène Waeselynck

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 2.16 MB

english, 2011

6

Simulated annealing applied to test generation: landscape characterization and stopping criteria

Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour

Journal:

Empirical Software Engineering

Year:

2007

Language:

english

File:

PDF, 597 KB

english, 2007

7

MAGNETOTELLURIGS: PRINCIPLE AND OUTLINE OF THE RECORDING TECHNIQUE A CASE HISTORY

Journal:

Geophysical Prospecting

Year:

1974

Language:

english

File:

PDF, 1.38 MB

english, 1974

8

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing

Poulding, Simon, Clark, John A., Waeselynck, Hélène

Year:

2011

Language:

english

File:

PDF, 234 KB

english, 2011

9

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST) - Cleveland, OH, USA (2014.03.31-2014.04.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation - Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles

Poulding, Simon, Waeselynck, Helene

Year:

2014

Language:

english

File:

PDF, 690 KB

english, 2014

10

[IEEE Comput. Soc IEEE 27th International Symposium on Fault Tolerant Computing - Seattle, WA, USA (24-27 June 1997)] Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing - Towards a statistical approach to testing object-oriented programs

Thevenod-Fosse, P., Waeselynck, H.

Year:

1997

Language:

english

File:

PDF, 1.10 MB

english, 1997

11

[IEEE Comput. Soc. Press Sixth International Symposium on Software Reliability Engineering. ISSRE'95 - Toulouse, France (24-27 Oct. 1995)] Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 - The role of testing in the B formal development process

Waeselynck, H., Boulanger, J.-L.

Year:

1995

Language:

english

File:

PDF, 984 KB

english, 1995

12

[IEEE 2013 International Conference on Computer, Information and Telecommunication Systems (CITS) - Athens, Greece (2013.05.7-2013.05.8)] 2013 International Conference on Computer, Information and Telecommunication Systems (CITS) - A UML-based environment for test scenarios in mobile settings

Andre, Pierre, Waeselynck, Helene, Riviere, Nicolas

Year:

2013

Language:

english

File:

PDF, 508 KB

english, 2013

13

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples

Bochot, Thomas, Virelizier, Pierre, Waeselynck, Helene, Wiels, Virginie

Year:

2010

Language:

english

File:

PDF, 1.23 MB

english, 2010

14

[IEEE 15th International Symposium on Software Reliability Engineering - Saint-Malo, Bretagne, France (2004.11.2-2004.11.5)] 15th International Symposium on Software Reliability Engineering - Deriving test sets from partial proofs

Lussier, Guillaume, Waeselynck, Helene

Year:

2004

Language:

english

File:

PDF, 234 KB

english, 2004

15

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - UML-Based Modeling of Robustness Testing

Moraes, Regina, Waeselynck, Helene, Guiochet, Jeremie

Year:

2014

Language:

english

File:

PDF, 724 KB

english, 2014

16

CNMA: a European initiative for OSI network management

Deiretsbacher, K.-H., Gremmelmaier, U., Kippe, J., Marabini, R., Rossler, G., Waeselynck, F.

Journal:

Year:

1995

Language:

english

File:

PDF, 973 KB

english, 1995

17

[IEEE Comput. Soc. Press [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers - Tokyo, Japan (27-30 June 1988)] [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers - The Delta-4 approach to dependability in open distributed computing systems

Powell, D., Bonn, G., Seaton, D., Verissimo, P., Waeselynck, F.

Year:

1988

File:

PDF, 688 KB

1988

18

[IEEE Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07) - Hagenburg, Austria (2007.07.5-2007.07.8)] Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07) - Mobile Systems from a Validation Perspective: a Case Study

Waeselynck, Helene, Micskei, Zoltan, Nguyen, Minh Duc, Riviere, Nicolas

Year:

2007

Language:

english

File:

PDF, 251 KB

english, 2007

19

[IEEE Comput. Soc. Press [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - Montreal, Que., Canada (25-27 June 1991)] [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - An experimental study on software structural testing: deterministic versus random input generation

Thevenod-Fosse, P., Waeselynck, H., Crouzet, Y.

Year:

1991

File:

PDF, 783 KB

1991

20

[IEEE 2013 IEEE 16th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Paderborn, Germany (2013.6.19-2013.6.21)] 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013) - STELAE — A model-driven test development environment for avionics systems

Guduvan, Alexandru-Robert, Waeselynck, Helene, Wiels, Virginie, Durrieu, Guy, Fusero, Yann, Schieber, Michel

Year:

2013

Language:

english

File:

PDF, 2.48 MB

english, 2013

21

[IEEE Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'. - Pasadena, CA (June 27-30 1995)] Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'. - The Delta-4 Approach to Dependability in Open Distributed Computing Systems

Powell, D., Bonn, G., Seaton, D., Verissimo, P., Waeselynck, F.

Year:

1995

Language:

english

File:

PDF, 845 KB

english, 1995

22

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns

Nguyen, Minh Duc, Waeselynck, Hélène, Rivière, Nicolas

Year:

2010

File:

PDF, 449 KB

2010

23

[IEEE Comput. Soc Second International Conference on Formal Engineering Methods - Brisbane, Qld., Australia (9-11 Dec. 1998)] Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241) - B model animation for external verification

Waeselynck, H., Behnia, S.

Year:

1998

Language:

english

File:

PDF, 148 KB

english, 1998

24

[IEEE ACS/IEEE International Conference on Computer Systems and Applications - Tunis, Tunisia (14-18 July 2003)] ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts. - An empirical investigation of simulated annealing applied to property-oriented testing

Abdellatif-Kaddour, O., Thevenod-Fosse, P., Waeselynck, H.

Year:

2003

Language:

english

File:

PDF, 38 KB

english, 2003

25

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Model checking flight control systems: The Airbus experience

Bochot, Thomas, Virelizier, Pierre, Waeselynck, Helene, Wiels, Virginie

Year:

2009

Language:

english

File:

PDF, 264 KB

english, 2009

26

[IEEE 2012 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Dallas, TX, USA (2012.11.27-2012.11.30)] 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops - Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions

Lauret, Jimmy, Waeselynck, Helene, Fabre, Jean-Charles

Year:

2012

Language:

english

File:

PDF, 527 KB

english, 2012

27

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - Model-Checking and Game theory for Synthesis of Safety Rules

Machin, Mathilde, Dufosse, Fanny, Guiochet, Jeremie, Powell, David, Roy, Matthieu, Waeselynck, Helene

Year:

2015

Language:

english

File:

PDF, 840 KB

english, 2015

28

[ACM Press the 2008 international workshop - Seattle, Washington (2008.07.21-2008.07.21)] Proceedings of the 2008 international workshop on dynamic analysis held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008) - WODA '08 - Testing mobile computing applications

Nguyen, Minh Duc, Waeselynck, Hélène, Rivière, Nicolas

Year:

2008

Language:

english

File:

PDF, 715 KB

english, 2008

29

[ACM Press the 1993 international symposium - Cambridge, Massachusetts, United States (1993.06.28-1993.06.30)] Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93 - STATEMATE applied to statistical software testing

Thévenod-Fosse, P., Waeselynck, H.

Year:

1993

Language:

english

File:

PDF, 1.25 MB

english, 1993

30

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Testing levels for object-oriented software

Labiche, Y., Thévenod-Fosse, P., Waeselynck, H., Durand, M.-H.

Year:

2000

Language:

english

File:

PDF, 159 KB

english, 2000

31

Test Languages for In-the-Loop Avionics Tests

Guduvan, Alexandru-Robert, Waeselynck, Hélène, Wiels, Virginie, Durrieu, Guy, Fusero, Yann, Schieber, Michel

Journal:

Journal of Aerospace Information Systems

Year:

2015

Language:

english

File:

PDF, 4.69 MB

english, 2015

32

[ACM Press the 2003 ACM symposium - Melbourne, Florida (2003.03.09-2003.03.12)] Proceedings of the 2003 ACM symposium on Applied computing - SAC '03 - Property-oriented testing

Abdellatif-Kaddour, Olfa, Thévenod-Fosse, Pascale, Waeselynck, Hélène

Year:

2003

Language:

english

File:

PDF, 673 KB

english, 2003

33

An investigation of statistical software testing

Thévenod-Fosse, P, Waeselynck, H

Journal:

Software Testing, Verification and Reliability

Year:

1991

Language:

english

File:

PDF, 2.28 MB

english, 1991

34

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Show Me New Counterexamples: A Path-Based Approach

Cabrera Castillos, Kalou, Waeselynck, Helene, Wiels, Virginie

Year:

2015

Language:

english

File:

PDF, 325 KB

english, 2015

35

STATEMATE applied to statistical software testing

Thévenod-Fosse, P., Waeselynck, H.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1993

Language:

english

File:

PDF, 1.25 MB

english, 1993

36

[IEEE 2016 12th European Dependable Computing Conference (EDCC) - Gothenburg (2016.9.5-2016.9.9)] 2016 12th European Dependable Computing Conference (EDCC) - Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level

Sotiropoulos, Thierry, Guiochet, Jeremie, Ingrand, Felix, Waeselynck, Helene

Year:

2016

Language:

english

File:

PDF, 353 KB

english, 2016

37

SMOF: A Safety Monitoring Framework for Autonomous Systems

Machin, Mathilde, Guiochet, Jeremie, Waeselynck, Helene, Blanquart, Jean-Paul, Roy, Matthieu, Masson, Lola

Journal:

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Year:

2016

Language:

english

File:

PDF, 2.03 MB

english, 2016

38

[ACM International Conference on Software Engineering - Limerick, Ireland (4-11 June 2000)] Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium - Testing levels for object-oriented software

Labiche, Y., Thevenod-Fosse, P., Waeselynck, H., Durand, M.-H.

Year:

2000

Language:

english

File:

PDF, 1.02 MB

english, 2000

39

[IEEE 2017 First IEEE International Conference on Robotic Computing (IRC) - Taichung, Taiwan (2017.4.10-2017.4.12)] 2017 First IEEE International Conference on Robotic Computing (IRC) - Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot

Masson, Lola, Guiochet, Jeremie, Waeselynck, Helene, Desfosses, Augustin, Laval, Marc

Year:

2017

Language:

english

File:

PDF, 971 KB

english, 2017

40

An Experimental Evaluation of Formal Testing and Statistical Testing

Marre, B., Thévenod-Fosse, P., Waeselynck, H., Le Gall, P., Crouzet, Y.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.80 MB

english, 1992

41

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study

Sotiropoulos, Thierry, Waeselynck, Helene, Guiochet, Jeremie, Ingrand, Felix

Year:

2017

Language:

english

File:

PDF, 924 KB

english, 2017